package sketch.specs.symbc;

import gov.nasa.jpf.symbc.Debug;

public class MyClassByte {
	
	public void myMethod(byte x, byte y) {
		if(x > 2) {
			if(y < 3) {
				System.out.println("reach here x y is true");
			} else {
				System.out.println("reach here x true y is false");
			}
		} else {
			if(x + y > 6) {
				System.out.println("reach here x false y is true");
			} else {
				System.out.println("reach here x false y is false");
			}
		}
	}
	
	// The test driver
	public static void main(String[] args) {
		MyClassByte mc = new MyClassByte();
		mc.myMethod((byte)0, (byte)0);
		Debug.printPC("\nMyClassByte.myMethod Path Condition: ");
	}
	
}